#include <stdio.h>

int main()
{
  int n = 10;
  char a[12] = "hello world";
  printf("%d\n", n);
  printf("%s\n", a);
  return 0;
}
